TIMEOUT

We are left with following problem, upon which TcT provides the
certificate TIMEOUT.

Strict Trs:
  { q(s(x), y) -> p(s(x), 0(), s(0()), y)
  , p(s(x), y, z, u) -> p(x, s(y), s(s(z)), u)
  , p(0(), s(x), y, z) -> q(x, add(x, z))
  , add(s(x), y) -> s(add(x, y))
  , add(0(), x) -> x }
Obligation:
  runtime complexity
Answer:
  TIMEOUT

Computation stopped due to timeout after 300.0 seconds.

Arrrr..